Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science)
by Edmund M. Clarke,Robert P. Kurshan
ISBN 13: 9783540544777
Format: Illustrated (392 pages) Publisher: Springer Published: 02 Oct 1991
Save for later
Investment Industry Claims Debunked: Smart Personal Finance Management For Ordinary Folks, Before and After Retirement
by Robert P. Kurshan
ISBN 13: 9783030767082
Format: Paperback (387 pages) Publisher: Springer Published: 27 Aug 2021